🔗 Functional Compilers - matmat · Scour

Functional Logic Program Transformations

arxiv.org·14h

⬆️Lambda Lifting

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🏗️Compiler Archaeology

Using Haskell in Production

agentultra.com·16h

💧Liquid Types

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·1d

✨Effect Handlers

Subterms Modulo Theories I

philipzucker.com·2d

🎯Automata theory

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·14h

🔓Decompilation

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·6h·

Discuss: DEV

🚀SIMD Parsing

Alexis King’s Blog

lexi-lambda.github.io·1d

🎯Gradual Typing

On the way to step functions: the two worlds

blog.julik.nl·1d

🐚Shell Calculus

abelianization of an additive category in nLab

ncatlab.org·3h

🧮Algebraic Archives

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Type Safety

Writing your first compiler

popovicu.com·2d·

Discuss: Hacker News, r/golang

📝Compiler Design

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·11h·

Discuss: Hacker News

🧮Kolmogorov Bounds

Using Local LLMs to Discover High-Performance Algorithms

towardsdatascience.com·2d

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·1d

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·9h·

Discuss: r/golang

🔗Topological Sorting

Workarounds for C11 _Generic

chiark.greenend.org.uk·3d

🦀Rust Macros

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

PHPStan Now 25~40% Faster For Static Analysis

phoronix.com·8h

📏Code Metrics

bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

github.com·1d·

Discuss: Lobsters

🦀Rust Macros

Loading more...